Nuprl Lemma : ma-empty_wf 0,22
 MsgA 
latex

Definitionst  T, x. t(x), x:A. B(x), , Prop,
Lemmasmk-ma wf, ma-state wf, top wf, IdLnk wf, fpf-empty wf, Knd wf, Id wf

origin